home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Tech Arsenal 1
/
Tech Arsenal (Arsenal Computer).ISO
/
tek-04
/
prolog_2.zip
/
PIE.ZIP
/
KOPS
< prev
next >
Wrap
Text File
|
1986-07-20
|
640b
|
16 lines
batch.
op(240,xfx,'implies').
op(240,xfx,'only if').
op(220,xfx,'is a').
op(220,yfy,'`s').
op(219,xfx,'eq').
nl,
print('\n PIE.TM\n',
' A Forward and Backward Chaining Prolog Inference Engine\n',
' With Truth Maintenance\n',
' Public Domain Version 1.1 19 November 1985\n',
' By Simon Blackwell\n',
' Dept. of Philosophy, Bowling Green State University, Ohio').
consult('know.pro').
see(user).